- формализует
- formalize
Бизнес, юриспруденция. Русско-английский словарь. 2005.
Бизнес, юриспруденция. Русско-английский словарь. 2005.
ДЖЕВОНС — (Jevons) Уильям Стенли (род. 1 сент. 1835, Ливерпуль – ум. 13 авг. 1882, близ Хастингса, Суссекс) – англ, логик, экономист и философ, последователь Джорджа Буля. Джевонс – создатель системы логики, основанной на принципе замещения равных,… … Философская энциклопедия
ШЕЛЕР — (Scheler) Макс (1874 1928) немецкий философ и социолог, один из основоположников аксиологии, культур социологии и социологии знания, философской антропологии. Учился в Мюнхене, Берлине и Йене, изучал философию и медицину. Ученик Р.Эйкена,… … История Философии: Энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
СИСТЕМА — (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… … Философская энциклопедия
АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии … Википедия
Кольцо (математика) — У этого термина существуют и другие значения, см. Кольцо. В абстрактной алгебре кольцо это один из наиболее часто встречающихся видов алгебраической структуры. Простейшими примерами колец являются алгебры чисел (целых, вещественных,… … Википедия
Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо … Википедия
Тироль, Жан — Жан Тироль Jean Marcel Tirole Дата рождения … Википедия
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия